Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
871	The British Society for the Philosophy of Science Anatomy of the Unsought Finding. Serendipity: Origin, History, Domains, Traditions, Appearances, Patterns and Programmability Author(s): Pek Van Andel Reviewed work(s): Add to Reading List Source URL: www.clips.ua.ac.be Language: English - Date: 2013-02-12 08:42:15 Ethology Logic Language comparison Scientific method Serendipity Translation Horace Walpole Inquiry The Three Princes of Serendip Science Philosophy of science Knowledge
872	The SUCCESS Framework Guide to Measurement Governor’s Office of Management and Budget GOVERNOR’s OFFICE of MANAGEMENT and BUDGET The SUCCESS Framework Guide to Measurement Add to Reading List Source URL: gomb.utah.gov Language: English - Date: 2015-04-22 23:07:34 Reliability engineering Throughput Systems engineering Science Knowledge Management Performance measurement Logic model
873	Curriculum Vitae John M. Zelle, Ph.D. Address Department of Math, Computer Science, and Physics Wartburg College Add to Reading List Source URL: mcsp.wartburg.edu Language: English - Date: 2006-01-15 15:38:37 Department of Computer Science Education Cognition Logic programming Machine learning Computer science
874	The Lazy Lambda Calculus Samson Abramsky Department of Computing Imperial College of Science and Technology March 6, 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:34 Applied mathematics Lambda calculus Computability theory Combinatory logic Spectral theory of ordinary differential equations Holomorphic functional calculus Mathematics Theoretical computer science Spectral theory
875	SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-08-22 12:16:49 Model theory Metalogic Logic in computer science Formal languages Temporal logic Well-formed formula First-order logic Symbol Satisfiability Logic Mathematical logic Theoretical computer science
876	Theory of Change: A Practical Tool Add to Reading List Source URL: www.aecf.org Language: English - Date: 2014-07-31 14:35:49 Science Logic model Policy Culture Impact evaluation Evaluation methods Sociology Evaluation
877	Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008 Constructive Mathematics and Functional Programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 09:06:02 Mathematical logic Intuitionism Epistemology Philosophy of mathematics Logic in computer science Constructivism Constructive proof Constructive analysis Intuitionistic logic Mathematics Mathematical constructivism Logic
878	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
879	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
880	Design Patterns for Tunable and Efficient SSD-based Indexes Ashok Anand† , Aaron Gember-Jacobson, Collin Engstrom, Aditya Akella* † Instart Logic University of Wisconsin-Madison † Add to Reading List Source URL: agember.com Language: English* - Date: 2014-10-21 17:08:21 Information science Computer performance Hashing Computer memory Non-volatile memory Solid-state drive Hash table IOPS Bloom filter Computing Search algorithms Computer hardware

UPDATE